“형식적 서식 기술”으로 총 1건 검색

• 형식적 서식 기술, 形式的書式記述, formal specification description

  언어로 기술하는 것. 일반적으로 절차(또는 함수), 추상 데이터형이라고 하는 프로그램 작성에서 중요한 개념 단위마다 서식 기술을 한다. 입출력 관계를 기술하는 입출력 서식, 그 절차를 실현하는 대표적 알고리즘을 기술하는 조작적 서식, 기본 연산 사이에 성립하는 관계를 공리로 기술한 공리적 서식, 이미...